1821. Model-driven software development
پدیدآورنده : Sami Beydeda, Matthias Book, Volker Gruhn )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Model-driven software architecture,، Computer software- Development,، System design
رده :
QA
76
.
76
.
D47
M623
2005
1822. Model-driven software development
پدیدآورنده : Sami Beydeda, Matthias Book, Volker Gruhn )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Model-driven software architecture,Development ، Computer software,، System design
رده :
QA
76
.
76
.
D47
M623
2005
1823. Model-driven software development /
پدیدآورنده : Sami Beydeda, Matthias Book, Volker Gruhn (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,Model-driven software architecture.,System design.,Computer architecture.,Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Model-driven software architecture.,System design.,System design.
رده :
QA76
.
76
.
D47
M623
2005
1824. Modeling and Animation Using Blender
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming. ; Open source software. ; Computer programming. ; Game Development. ; -Computer games
1825. Modeling and verification using UML statecharts :
پدیدآورنده : Doron Drusinsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,Formal methods (Computer science),UML (Computer science),Logiciels-- Développement.,Méthodes formelles (Informatique),UML (Informatique),Computer software-- Development.,Formal methods (Computer science),UML (Computer science)
رده :
QA76
.
76
.
D47
D78
2006eb
1826. Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring, and execution-based model checking
پدیدآورنده : Drusinsky, Doron.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، UML )Computer science(,، Formal methods )Computer science(,Development ، Computer software
رده :
QA
76
.
76
.
D47
D78
1827. Modeling companion for software practitioners /
پدیدآورنده : Egon Börger, Alexander Raschke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Mathematical models.,Computer software-- Mathematical models.,COMPUTERS-- Software Development & Engineering-- General.
رده :
QA76
.
754
1828. Modeling software behaviour :a craftsman's approach
پدیدآورنده : Jorgensen, Paul.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، System design,، Software architecture,Development ، Computer software
رده :
QA
76
.
9
.
S88
J72
1829. Modeling software with finite state machines
پدیدآورنده : / Ferdinand Wagner ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer software- Development,Machine theory
رده :
QA76
.
76
.
D47
,
M625
2006
1830. Modeling software with finite state machines : a practical approach
پدیدآورنده : / Ferdinand Wagner ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Computer software --Development,Machine theory
رده :
005
.
1
M689
1831. Modeling software with finite state machines : a practical approach
پدیدآورنده : Ferdinand Wagner... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software -- Development,، Machine theory
رده :
QA
76
.
76
.
D47M63
1832. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
1833. Models and tools for managing development processes
پدیدآورنده : Westfechtel, Bernhard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Management ، Computer software -- Development,، Engineering -- Management
رده :
QA
76
.
L28
Vol
.
1646
1834. Models in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
1835. Models in software engineering
پدیدآورنده : Jörg Kienzle (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-integrated computing, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
M63
2011eb
1836. Modern industrial automation software design
پدیدآورنده : Lingfeng Wang, Kay Chen Tan
موضوع : Automatic control- Computer programs,Computer software- Development,Automation
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1837. Modern industrial automation software design :
پدیدآورنده : / Lingfeng Wang, Kay Chen Tan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Automatic control , Computer programs,Computer software , Development,Automation
رده :
E-BOOK
1838. Modern industrial automation software design. principles and real-world applications
پدیدآورنده : Wang, Lingfeng
موضوع : ، Computer software- Development ,، Automation
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
1839. Modern industrial automation software design: principles and real-world applications
پدیدآورنده : Wang, Lingfeng
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer programs ، Automatic control,Development ، Computer software,، Automation
رده :
TJ
213
.
W344
2006
1840. Modern industrial automation software design: principles and real-world applications
پدیدآورنده : Wang, Lingfeng
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Computer programs ، Automatic control,Development ، Computer software,، Automation
رده :
TJ
213
.
W344
2006